Modelling Social Behaviour with Petri net based Multi-Agent Systems
نویسندگان
چکیده
An important issue regarding the deeper understanding of social and organisational phenomena is the interaction and the linkage between micro and macro layers. The micro-macro-link deals with the emergent aggregation of processes and actions on the micro-level and with structures, rules and roles on the macro-level. This paper presents recent results of the “socionics” project ASKO, which is a fusion of sociology and computer science. Due to the interdisciplinary character of our project we use a graphical representation of our models: a special dialect of high-level Petri nets, namely reference nets, has been chosen, since it offers a simple and executable representation with a clear mathematical foundation.
منابع مشابه
Designing petri net supervisors for multi-agent systems from LTL specifications
In this paper, we use LTL to specify acceptable/desirable behaviours for a system modelled as a Petri net, and create a Petri net realization of a supervisor that is guaranteed to enforce them, by appropriately restricting the uncontrolled behaviour of the system.We illustrate the method with an application to the specification of coordination requirements between the members of a team of simul...
متن کاملSpecification of CPN models into MAS platform for the modelling of social policy issues: FUPOL project
Simulation transparency is becoming more crucial in the decision making process when quantitative computer tools are used to justify some strategies. The coloured petri net (CPN) formalism is a promising modelling approach to foster simulation transparency by means of state space traceability tools, which have been proven to be useful for modelling system dynamics with conflict patterns. E-gove...
متن کاملSocionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation
This contribution summarises the core results of the transdisciplinary ASKO project, part of the German DFG's programme Sozionik, which combines sociologists' and computer scientists' skills in order to create improved theories and models of artificial societies. Our research group has (a) formulated a social theory, which is able to explain fundamental mechanisms of self-organisation in both n...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملModelling the Structure and Behaviour of Petri Net Agents
This work proposes a way to model the structure and behaviour of agents in terms of executable coloured Petri net protocols. Structure and behaviour are not all aspects of agent based computing: agents need a world to live in (mostly divided into platforms), they need a general structure (e.g. including a standard interface for communication) and their own special behaviour. Our approach tackle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003